Store the union of the specified set and the existing value for each attribute
if and only if the \code{checks} hold on the object.
\input{\topdir/client/fragments/fail_if_not_found}

\input{\topdir/client/fragments/conditional}
